Sfoglia per Rivista IEEE TRANSACTIONS ON SOFTWARE ENGINEERING
Response to: Comments on "Property-based software engineering measurement: refining the additivity properties"
1997-01-01 Briand, L.; Morasca, Sandro; Basili, V.
Software prototyping by relational techniques: experiences with program construction systems
1988-01-01 S., Ceri; S., CRESPI REGHIZZI; A., DI MAIO; Lavazza, LUIGI ANTONIO
Software Specialization via Symbolic Execution
1991-01-01 COEN PORISINI, Alberto; DE PAOLI, F.; Ghezzi, C.; Mandrioli, D.
Specification of Realtime Systems Using ASTRAL
1997-01-01 COEN PORISINI, Alberto; Ghezzi, C.; Kemmerer, R.
Time and Probability-Based Information Flow Analysis
2010-01-01 Lanotte, Ruggero; Maggiolo Schettini, A.; Troina, A.
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Response to: Comments on "Property-based software engineering measurement: refining the additivity properties" | 1-gen-1997 | Briand, L.; Morasca, Sandro; Basili, V. | |
Software prototyping by relational techniques: experiences with program construction systems | 1-gen-1988 | S., Ceri; S., CRESPI REGHIZZI; A., DI MAIO; Lavazza, LUIGI ANTONIO | |
Software Specialization via Symbolic Execution | 1-gen-1991 | COEN PORISINI, Alberto; DE PAOLI, F.; Ghezzi, C.; Mandrioli, D. | |
Specification of Realtime Systems Using ASTRAL | 1-gen-1997 | COEN PORISINI, Alberto; Ghezzi, C.; Kemmerer, R. | |
Time and Probability-Based Information Flow Analysis | 1-gen-2010 | Lanotte, Ruggero; Maggiolo Schettini, A.; Troina, A. |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile